Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
431	An operational semantics for R5RS Scheme Jacob Matthews Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Functional programming Logic in computer science Lambda calculus Lisp programming language Subroutines Operational semantics Scheme Eval Monad Software engineering Computing Computer programming
432	UNIVERSITY OF MINNESOTA This is to certify that I have examined this copy of a masters thesis by Andrew Jude Gacek Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2006-12-20 15:47:42 Applied mathematics Explicit substitution Calculus Free variables and bound variables Normalization property Unification Substitution Function Typed lambda calculus Lambda calculus Theoretical computer science Mathematics
433	Towards Normalization by Evaluation for the βη-Calculus of Constructions Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:08 Theoretical computer science Lambda calculus Normalisation by evaluation Natural deduction Symbol Proof theory Mathematical logic Programming language theory
434	BRICS Basic Research in Computer Science BRICS RS-97-1 Danvy & Goldberg: Partial Evaluation of the Euclidian Algorithm Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Theoretical computer science Recursion Computability theory Subroutines Fixed-point combinator Euclidean algorithm Church encoding Scheme Greatest common divisor Mathematics Applied mathematics Lambda calculus
435	Encodings of Extensible Objects and Types Viviana Bono Dipartimento di Informatica Universit`a di Torino http://www.di.unito.it/∼bono Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:29:01 Mathematics Data types Object-oriented programming Lambda calculus Polymorphism Subtype polymorphism Type system System F Calculus Type theory Software engineering Theoretical computer science
436	Boxed Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 2 D´epartement d’Informatique Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:00:01 Applied mathematics Computer science Mathematics Π-calculus Lambda calculus Calculus XTR Mobile Membranes Process calculi Theoretical computer science Ambient calculus
437	Lambda-Calculus Conferences in the 1970s Roger Hindley Mathematics Department, Swansea University, Wales, e-mail: August 12, 2011 Add to Reading List Source URL: www.users.waitrose.com Language: English - Date: 2011-08-12 13:22:21 Mathematics Henk Barendregt Church–Rosser theorem Haskell Curry Barendregt Gordon Plotkin Henk Hindley Type theory Theoretical computer science Lambda calculus Mathematical logic
438	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD Student under supervision of Didier R´emy Gallium – INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-29 11:09:42 Programming language theory Data types Formal methods Theoretical computer science Higher-order functions Type system Dependent type Lambda calculus Gallium Software engineering Computing Type theory
439	MSFPIdioms are oblivious, arrows are meticulous, monads are promiscuous Sam Lindley, Philip Wadler and Jeremy Yallop Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-01-26 12:31:23 Functional programming Software engineering Logic in computer science Combinatory logic Arrow Monad Curry–Howard correspondence Natural deduction Declarative programming Theoretical computer science Lambda calculus
440	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-02-16 03:48:02 Normalisation by evaluation Monad Computer programming Curry–Howard correspondence Mathematical logic Software engineering Lambda calculus

UPDATE